Emília Villani: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

1

System safety assessment based on STPA and model checking

Dakwat, Alheri Longji, Villani, Emilia

Journal:

Year:

2018

Language:

english

File:

PDF, 3.62 MB

english, 2018

2

Applying agile methods to aircraft embedded software: an experimental analysis

Mirachi, Samoel, da Costa Guerra, Valdir, da Cunha, Adilson Marques, Dias, Luiz Alberto Vieira, Villani, Emilia

Journal:

Software: Practice and Experience

Year:

2017

Language:

english

File:

PDF, 522 KB

english, 2017

3

A proposal and verification of a software architecture based on LabVIEW for a multifunctional robotic end-effector

José Marcos Silva Anjos, Guilherme Kisseloff Coracini, Emília Villani

Journal:

Advances in Engineering Software (Thomson Reuters)

Year:

2013

Language:

english

File:

PDF, 1.97 MB

english, 2013

4

Contributions of model checking and CoFI methodology to the development of space embedded software

Pontes, Rodrigo Pastl, Véras, Paulo Claudino, Ambrosio, Ana Maria, Villani, Emília

Journal:

Empirical Software Engineering

Year:

2014

Language:

english

File:

PDF, 640 KB

english, 2014

5

A Framework for Development of Satellite Attitude Control Algorithms

de Athayde Costa e Silva, Marsil, de Figueiredo, Helosman Valente, Boglietti, Benjamin Gilles Nicolas, Saotome, Osamu, Villani, Emília, Kienitz, Karl Heinz

Journal:

Journal of Control, Automation and Electrical Systems

Year:

2014

Language:

english

File:

PDF, 1.59 MB

english, 2014

6

DTW: a design method for designing robot end-effectors

Furtado, Luís Fernando Ferreira, Villani, Emilia, Trabasso, Luís Gonzaga, Silva, Carlos Eduardo Oliveira

Journal:

Journal of the Brazilian Society of Mechanical Sciences and Engineering

Year:

2014

Language:

english

File:

PDF, 553 KB

english, 2014

7

A benchmarking process to assess software requirements documentation for space applications

Véras, Paulo C., Villani, Emilia, Ambrosio, Ana Maria, Vieira, Marco, Madeira, Henrique

Journal:

Journal of Systems and Software

Year:

2015

Language:

english

File:

PDF, 288 KB

english, 2015

8

Hybrid stochastic approach for the modelling and analysis of fire safety systems

Emilia Villani, Percy Igei Kaneshiro, Paulo Eigi Miyagi

Journal:

Nonlinear Analysis: Theory, Methods & Applications

Year:

2006

Language:

english

File:

PDF, 2.10 MB

english, 2006

9

[IEEE 2010 IEEE 21st International Symposium on Software Reliability Engineering (ISSRE) - San Jose, CA, USA (2010.11.1-2010.11.4)] 2010 IEEE 21st International Symposium on Software Reliability Engineering - Errors on Space Software Requirements: A Field Study and Application Scenarios

Veras, Paulo C., Villani, Emilia, Ambrosio, Ana Maria, Silva, Nuno, Vieira, Marco, Madeira, Henrique

Year:

2010

Language:

english

File:

PDF, 409 KB

english, 2010

10

A Petri net-based object-oriented approach for the modelling of hybrid productive systems

Emilia Villani, Jean C. Pascal, Paulo E. Miyagi, Robert Valette

Journal:

Nonlinear Analysis: Theory, Methods & Applications

Year:

2005

Language:

english

File:

PDF, 618 KB

english, 2005

11

[IEEE 2013 IEEE 19th Pacific Rim International Symposium on Dependable Computing (PRDC) - Vancouver, BC, Canada (2013.12.2-2013.12.4)] 2013 IEEE 19th Pacific Rim International Symposium on Dependable Computing - Probabilistic Analysis of a 1-of-n Selection Algorithm Using a Moderately Pessimistic Decision Criterion

Fathollahnejad, Negin, Villani, Emilia, Pathan, Risat, Barbosa, Raul, Karlsson, Johan

Year:

2013

Language:

english

File:

PDF, 631 KB

english, 2013

12

Integrating model checking and model based testing for industrial software development

Villani, Emília, Pontes, Rodrigo Pastl, Coracini, Guilherme Kisselofl, Ambrósio, Ana Maria

Journal:

Computers in Industry

Year:

2019

Language:

english

File:

PDF, 3.14 MB

english, 2019

13

A hybrid Petri net modeling approach for HVAC systems in intelligent buildings

Villani, Emilia, Miyagi, Paulo Eigi

Journal:

Sba: Controle & Automação Sociedade Brasileira de Automatica

Year:

2004

Language:

english

File:

PDF, 447 KB

english, 2004

14

[IEEE 2018 13th IEEE International Conference on Industry Applications (INDUSCON) - São Paulo, Brazil (2018.11.12-2018.11.14)] 2018 13th IEEE International Conference on Industry Applications (INDUSCON) - Evaluation of perpendicularity methods for a robotic end effector from aircraft industry

Santos, Kleber Roberto da Silva, de Carvalho, Gustavo Melo, Tricarico, Rodrigo Tanure, Ferreira, Luiz Fernando L. Rocha, Villani, Emilia, Suterio, Ricardo

Year:

2018

Language:

english

File:

PDF, 34 KB

english, 2018

15

[IEEE 2013 43rd Annual IEEE/IFIP Conference on Dependable Systems and Networks Workshop (DSN-W) - Budapest, Hungary (2013.06.24-2013.06.27)] 2013 43rd Annual IEEE/IFIP Conference on Dependable Systems and Networks Workshop (DSN-W) - On reliability analysis of leader election protocols for virtual traffic lights

Fathollahnejad, Negin, Villani, Emilia, Pathan, Risat, Barbosa, Raul, Karlsson, Johan

Year:

2013

Language:

english

File:

PDF, 767 KB

english, 2013

16

[IEEE 2016 Seventh Latin-American Symposium on Dependable Computing (LADC) - Cali, Colombia (2016.10.19-2016.10.21)] 2016 Seventh Latin-American Symposium on Dependable Computing (LADC) - An Approach for Verification of a Satellite Simulator - An Evolving System

Silva, Paulo Diego Barbosa Da, Ambrosio, Ana Maria, Villani, Emilia, Azevedo, Denise Rotondi

Year:

2016

Language:

english

File:

PDF, 378 KB

english, 2016

17

[IEEE 2017 2nd International Conference on Cybernetics, Robotics and Control (CRC) - Chengdu (2017.7.21-2017.7.23)] 2017 2nd International Conference on Cybernetics, Robotics and Control (CRC) - Manufacture Equipment Retrofit to Allow Usage in the Industry 4.0

Arjoni, Diego Hernandez, Madani, Fernando Silveira, Ikeda, Guilherme, Carvalho, Gustavo de M., Cobianchi, Loredana B., Ferreira, Luiz F. L. R., Villani, Emilia

Year:

2017

Language:

english

File:

PDF, 792 KB

english, 2017

18

Relevant factors for the energy consumption of industrial robots

Garcia, Raphael Rustici, Bittencourt, André Carvalho, Villani, Emilia

Journal:

Journal of the Brazilian Society of Mechanical Sciences and Engineering

Year:

2018

Language:

english

File:

PDF, 1.70 MB

english, 2018

19

[IEEE 2018 13th IEEE International Conference on Industry Applications (INDUSCON) - São Paulo, Brazil (2018.11.12-2018.11.14)] 2018 13th IEEE International Conference on Industry Applications (INDUSCON) - Evaluation of perpendicularity methods for a robotic end effector from aircraft industry

Santos, Kleber Roberto da Silva, de Carvalho, Gustavo Melo, Tricarico, Rodrigo Tanure, Ferreira, Luiz Fernando L. Rocha, Villani, Emilia, Suterio, Ricardo

Year:

2018

File:

PDF, 34 KB

2018

20

[American Institute of Aeronautics and Astronautics AIAA Scitech 2019 Forum - San Diego, California ()] AIAA Scitech 2019 Forum - An Integrated Model Based Development to Robotic Motion Flight Simulator

Alves, Marco Antonio D., da Silva, Edmar T., Trabasso, Luís Gonzaga, Villani, Emilia, Rodrigues de Oliveira, Wesley

File:

PDF, 2.90 MB

21

Aircraft FDI and human factors analysis of a take-off maneuvre using SIVOR flight simulator

Kraemer, Aline D., Villani, Emília, Arjoni, Diego H.

Journal:

IFAC-PapersOnLine

Year:

2019

Language:

english

File:

PDF, 820 KB

english, 2019

22

Model Checking Applied to Embedded Software of University Satellite

Alencar, Waldo A. F., Villani, Emilia

Journal:

Journal of Control, Automation and Electrical Systems

Year:

2014

Language:

english

File:

PDF, 506 KB

english, 2014

23

[American Institute of Aeronautics and Astronautics SpaceOps 2010 Conference Delivering on the Dream Hosted by NASA Marshall Space Flight Center and Organized by AIAA - Huntsville, Alabama ()] SpaceOps 2010 Conference<br> <b><i>Delivering on the Dream</b></i><br> <i>Hosted by NASA Marshall Space Flight Center and Organized by AIAA</i> - Dependability Benchmark for PUS-Based Satellite Onboard Software

Véras, Paulo, Villani, Emilia, Madeira, Henrique, Ambrosio, Ana

Year:

2010

Language:

english

File:

PDF, 133 KB

english, 2010

24

SAE Technical Paper Series [SAE International SAE 2012 Aerospace Manufacturing and Automated Fastening Conference & Exhibition - (SEP. 18, 2012)] SAE Technical Paper Series - Development of a Robotic End-Effector of Drilling and Fasteners Inserter for Aircraft Structures

Eguti, Carlos C. A., Trabasso, Luis Gonzaga, Villani, Emilia, Coracini, Guilherme K., Furtado, Luis Fernando F.

Year:

2012

Language:

english

File:

PDF, 14.54 MB

english, 2012

25

From SFC Specification to C Programming Language on the Context of Aerospace Systems Control

Borges, Paulo, Machado, José, Villani, Emília, Campos, José Creissac

Journal:

IFAC Proceedings Volumes

Year:

2010

Language:

english

File:

PDF, 574 KB

english, 2010

26

[American Institute of Aeronautics and Astronautics AIAA Scitech 2019 Forum - San Diego, California ()] AIAA Scitech 2019 Forum - On the gap between aircraft FDI methods in industry and academy: challenges and directions

Dahleni Kraemer, Aline, Villani, Emilia

File:

PDF, 346 KB

27

Coloured Petri nets and graphical simulation for the validation of a robotic cell in aircraft industry

Adriano José Cunha de Aguiar, Emília Villani, Fabrício Junqueira

Journal:

Robotics and Computer-Integrated Manufacturing

Year:

2011

Language:

english

File:

PDF, 813 KB

english, 2011

28

Model-Based Testing Applied to Software Components of Satellite Simulators

Silva, Paulo Diego Barbosa da, Ambrosio, Ana Maria, Villani, Emilia

Journal:

Modelling and Simulation in Engineering

Year:

2018

Language:

english

File:

PDF, 1.55 MB

english, 2018

29

[American Institute of Aeronautics and Astronautics AIAA Scitech 2019 Forum - San Diego, California ()] AIAA Scitech 2019 Forum - Flight simulator assisted by a robotic motion platform - SIVOR - Design and Applications

Thomaz da Silva, Edmar, Penna, Sergio D., Alves, Marco Antonio D., Oliveira, Wesley R., Villani, Emilia, Trabasso, Luís Gonzaga

File:

PDF, 677 KB

30

Model-Based Testing Applied to Software Components of Satellite Simulators

Silva, Paulo Diego Barbosa da, Ambrosio, Ana Maria, Villani, Emilia

Journal:

Modelling and Simulation in Engineering

Year:

2018

File:

PDF, 1.55 MB

2018

31

[IEEE 2014 Tenth European Dependable Computing Conference (EDCC) - Newcastle, United Kingdom (2014.05.13-2014.05.16)] 2014 Tenth European Dependable Computing Conference - On Probabilistic Analysis of Disagreement in Synchronous Consensus Protocols

Fathollahnejad, Negin, Villani, Emilia, Pathan, Risat, Barbosa, Raul, Karlsson, Johan

Year:

2014

Language:

english

File:

PDF, 835 KB

english, 2014

32

A Comparative Analysis of two Verification Techniques for DEDS: Model Checking versus Model-based Testing

Pontes, Rodrigo P., Essado, Marcelo, Véras, Paulo C., Ambrósio, Ana Maria, Villani, Emília

Journal:

IFAC Proceedings Volumes

Year:

2009

Language:

english

File:

PDF, 406 KB

english, 2009

33

From Natural Language Standard Documents to State Machines: Advantages and Drawbacks

Greghi, Juliana Galvani, Martins, Eliane, Carvalho, Ariadne M. B. R., Ambrosio, Ana Maria, Villani, Emília

Journal:

Journal of Aerospace Information Systems

Year:

2018

Language:

english

File:

PDF, 650 KB

english, 2018

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски